Reachability and Timing Analysis in Data Flow Networks: A Case Study
نویسندگان
چکیده
The need of efficient implementation, safety and performance requires early validation in the design of computer control systems. The detailed timing and reachability analysis in the development process is particularly important if we design equipments or algorithms of high performance and availability. In this paper we present a case study related to the early validation of control systems modeled by data flow networks. The model is validated indirectly as it is transformed to Petri nets in order to be able to utilize the tools available for Petri nets.
منابع مشابه
Permeability estimation from the joint use of stoneley wave velocity and support vector machine neural networks: a case study of the Cheshmeh Khush Field, South Iran
Accurate permeability estimation has always been a concern in determining flow units, assigning appropriate capillary pressure andrelative permeability curves to reservoir rock types, geological modeling, and dynamic simulation.Acoustic method can be used as analternative and effective tool for permeability determination. In this study, a four-step approach is proposed for permeability estimati...
متن کاملRegular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models. More precisely, we consider the problem of computing effective representations of their reachability sets using finite-state automata. We show that, while forward reachability sets are not regular in general, backwa...
متن کاملRole of STDP in regulation of neural timing networks in human: a simulation study
Many physiological events require an accurate timing signal, usually generated by neural networks called central pattern generators (CPGs). On the other hand, properties of neurons and neural networks (e.g. time constants of neurons and weights of network connections) alter with time, resulting in gradual changes in timing of such networks. Recently, a synaptic weight adjustment mechanism has b...
متن کاملRole of STDP in regulation of neural timing networks in human: a simulation study
Many physiological events require an accurate timing signal, usually generated by neural networks called central pattern generators (CPGs). On the other hand, properties of neurons and neural networks (e.g. time constants of neurons and weights of network connections) alter with time, resulting in gradual changes in timing of such networks. Recently, a synaptic weight adjustment mechanism has b...
متن کاملAnalysis of spatial flows of rural settlements in border regions (Case study: Gomishan county)
An examination of urban rural links in each location requires the analysis of streams linking urban and rural settlements. Such links under the heading of "flow of space" are embodied in the framework of a network approach and include flows of capital, persons, goods, information, innovation, technology, and so on. These flows include a process that, in appropriate conditions They can bring tog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996